a => b => 1